package functions;

import Basic.TestSuite;
import Generation.AETG;
import org.junit.Test;

import java.io.IOException;

public class gen {
    @Test
    public void testAETG() throws IOException {
        // SUT setting
        String coverFile = "D:\\tmp\\cover.txt";//
        int p = 4 ;
        int[] v = new int[p] ;
        for( int k=0 ; k<p ; k++ )
            v[k] = 4 ;
        int t = 2 ;

        TestSuite ts = new TestSuite(p, v, t);
        AETG gen = new AETG();
        gen.Generation(ts);
        gen.writeCA(coverFile);
        System.out.println(gen.getSize());


        //Calculator calculator = new Calculator();
        //int sum = calculator.evaluate("1+2+3");
        //assertEquals(6, sum);
    }
}

